Christophe Ringeissen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Pattern-Matching Compiler

Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 200 KB

english, 2001

2

Preface

Slim Abdennadher, Christophe Ringeissen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 69 KB

english, 2005

3

REWRITING WITH STRATEGIES IN : A FUNCTIONAL SEMANTICS

BOROVANSKÝ, PETER, KIRCHNER, CLAUDE, KIRCHNER, HÉLÈNE, RINGEISSEN, CHRISTOPHE

Journal:

International Journal of Foundations of Computer Science

Year:

2001

Language:

english

File:

PDF, 3.33 MB

english, 2001

4

Handling Relations over Finite Domains in the Rule-Based System ELAN

Christophe Ringeissen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 200 KB

english, 2000

5

[IEEE 2008 Sixth International Conference on Software Engineering Research, Management and Applications - Prague, Czech Republic (2008.08.20-2008.08.22)] 2008 Sixth International Conference on Software Engineering Research, Management and Applications - A Mediator Based Approach For Services Composition

Guermouche, Nawal, Perrin, Olivier, Ringeissen, Christophe

Year:

2008

Language:

english

File:

PDF, 309 KB

english, 2008

6

Combination of convex theories: Modularity, deduction completeness, and explanation

Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 2.93 MB

english, 2010

7

Rule-Based Constraint Programming

Kirchner, Claude, Ringeissen, Christophe

Journal:

Fundamenta Informaticae

Year:

1998

File:

PDF, 1.80 MB

1998

8

Politeness and Combination Methods for Theories with Bridging Functions

Chocron, Paula, Fontaine, Pascal, Ringeissen, Christophe

Journal:

Journal of Automated Reasoning

Year:

2019

File:

PDF, 661 KB

2019

9

Manipulating algebraic specifications with term-based and graph-based representations

Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima

Journal:

The Journal of Logic and Algebraic Programming

Year:

2004

Language:

english

File:

PDF, 458 KB

english, 2004

10

Combining Symbolic Constraint Solvers on Algebraic Domains

Hélène Kirchner, Christophe Ringeissen

Journal:

Journal of Symbolic Computation

Year:

1994

File:

PDF, 1.33 MB

1994

11

A Tool Support for Reusing ELAN Rule-Based Components

Anamaria Martins, Christophe Ringeissen, Anderson Santana

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 171 KB

english, 2003

12

Automatic decidability and combinability

Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 286 KB

english, 2011

13

Unions of non-disjoint theories and combinations of satisfiability procedures

Cesare Tinelli, Christophe Ringeissen

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 421 KB

english, 2003

14

Handling ELAN rewrite programs via an exchange format

Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 31 KB

1998

15

[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 1794 || Non-trivial Symbolic Computations in Proof Planning

Kirchner, Hélène, Ringeissen, Christophe

Year:

2000

Language:

english

File:

PDF, 222 KB

english, 2000

16

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 2422 || Extending JML Specifications with Temporal Logic

Kirchner, Hélène, Ringeissen, Christophe

Year:

2002

Language:

english

File:

PDF, 253 KB

english, 2002

17

Politeness and Combination Methods for Theories with Bridging Functions

Chocron, Paula, Fontaine, Pascal, Ringeissen, Christophe

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 661 KB

english, 2019

18

Special issue on combining logical systems

Alessandro Armando, Christophe Ringeissen

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

19

Timed Specification For Web Services Compatibility Analysis

Nawal Guermouche, Olivier Perrin, Christophe Ringeissen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 342 KB

english, 2008

20

Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories

Christophe Ringeissen

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 1016 KB

english, 1996

21

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 2422 ||

Kirchner, Hélène, Ringeissen, Christophe

Year:

2002

Language:

english

File:

PDF, 261 KB

english, 2002

22

Computing knowledge in equational extensions of subterm convergent theories

Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe

Journal:

Mathematical Structures in Computer Science

Year:

2020

Language:

english

File:

PDF, 706 KB

english, 2020

23

An Overview of ELAN

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 973 KB

1998

24

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 2422 || Automata and Games for Synthesis

Kirchner, Hélène, Ringeissen, Christophe

Year:

2002

Language:

english

File:

PDF, 170 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски